An axiomatization of family resemblance
نویسندگان
چکیده
We invoke concepts from the theory of hypergraphs to give a measure of the closeness of family resemblance, and to make precise the idea of a composite likeness. It is shown that for any positive integer m, for any general term possessing any extent of family resemblance strictly greater than m, there is a taxonomical representation of the term whereby each subordinate taxon has an extent of family resemblance strictly greater than m.
منابع مشابه
Simple axiomatization of reticulations on residuated lattices
We give a simple and independent axiomatization of reticulations on residuated lattices, which were axiomatized by five conditions in [C. Mureşan, The reticulation of a residuated lattice, Bull. Math. Soc. Sci. Math. Roumanie 51 (2008), no. 1, 47--65]. Moreover, we show that reticulations can be considered as lattice homomorphisms between residuated lattices and b...
متن کاملCharacterization and axiomatization of all semigroups whose square is group
In this paper we give a characterization for all semigroups whose square is a group. Moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and Grouplikes,introduced by the author. Also, we observe that this paper characterizes and axiomatizes a class of Homogroups (semigroups containing an ideal subgroup). Finally, several equivalent conditions ...
متن کاملFamily resemblance, conceptual cohesiveness, and category construction.
Many people have argued that natural categories are organized in terms of a family resemblance principle. Members of family resemblance categories tend to share properties with each other but have no properties that are singly necessary and jointly sufftcient (defining) for category membership. This paper reports seven experiments using a sorting task to evaluate the conditions under which peop...
متن کاملIndependently Axiomatizable Lω1,ω Theories
In partial answer to a question posed by Arnie Miller [5] and X. Caicedo [2] we obtain sufficient conditions for an Lω1,ω theory to have an independent axiomatization. As a consequence we obtain two corollaries: If Vaught’s conjecture holds, then every Lω1,ω theory in a countable language has an independent axiomatization; every intersection of a family of Borel sets can be formed as the inters...
متن کاملOn 'Family Resemblances' with Fuzzy Sets
This paper takes into account the Wittgenstein’s idea on family resemblances as a particular crisp relation between some fuzzy sets, that is, between some predicates representable from its use. It is shown that all uses of the same predicate actually do have family resemblance, that some pairs of predicates cannot, and a numerical degree of family resemblance is introduced. Keywords— Degree of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Applied Logic
دوره 5 شماره
صفحات -
تاریخ انتشار 2007